Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence:

  • Guillaume Bonfante:

    • Java, L3, Ecole des Mines, Université de Lorraine, France.

  • Emmanuel Hainry:

    • Operating Systems, 60 h, L1, IUT Nancy Brabois, Université de Lorraine, Nancy, France,

    • Algorithms and Programs, 60 h, L1, IUT Nancy Brabois, Université de Lorraine, Nancy, France,

    • Object Oriented Programming, 24 h, L1, IUT Nancy Brabois, Université de Lorraine, Nancy, France,

    • Databases, 24 h, L2, IUT Nancy Brabois, Université de Lorraine, Nancy, France,

    • Advanced Databases, 20 h, L2, IUT Nancy Brabois, Université de Lorraine, Nancy, France,

    • Complexity, 28 h, L2, IUT Nancy Brabois, Université de Lorraine, Nancy, France,

    • Algorithmics, 12 h, DU PFST (equiv. L1), IUT Nancy Brabois, Université de Lorraine, Nancy, France,

    • Operating Systems, 9 h, DU PFST (equiv. L1), IUT Nancy Brabois, Université de Lorraine, Nancy, France.

  • Emmanuel Jeandel

    • Probability for Computer Science, 46 hours, L3 Informatique, FST, Université de Lorraine, Nancy, France.

  • Romain Péchoux:

    • c2i, 20, L1 , Université de Lorraine, Nancy, France,

    • Propositional logic, 25 hours, L1 ISC, UFR MI, Université de Lorraine, Nancy, France,

    • Introduction to Java, 45 hours, L3 ISC MIAGE , UFR MI, Université de Lorraine, Nancy, France,

    • Databases, 42 hours, L3 LSG, ISAM-IAE, Université de Lorraine, Nancy, France,

    • Algorithmic complexity, 30 hours, L3 ISC MIAGE, IGA, Casablanca, Maroc.

• Master:

  • Guillaume Bonfante:

    • Modelling and UML, M1, Ecole des Mines, Université de Lorraine, Nancy, France,

    • Video games, M1, Ecole des Mines, Université de Lorraine, Nancy, France,

    • Semantics, M1, Ecole des Mines, Université de Lorraine, Nancy, France,

    • Safety of software, M2, Ecole des Mines, Université de Lorraine, Nancy, France.

  • Isabelle Gnaedig:

    • “Design of Safe Software”, Coordination of the module, M2, ESIA-Telecom (Université de Lorraine), Nancy, France,

    • “Rule-based Programming”, 20 hours, M2, ESIAL-Telecom (Université de Lorraine), Nancy, France.

  • Emmanuel Jeandel:

    • Algorithms and Complexity, 35 hours, M1 Informatique, FST, Université de Lorraine, Nancy, France.

  • Jean-Yves Marion:

    • Automata Theory, M1, Ecole des Mines, Université de Lorraine, Nancy, France,

    • Logic, M1, Ecole des Mines, Université de Lorraine, Nancy, France,

    • Data Base, M1, Ecole des Mines, Université de Lorraine, Nancy, France,

    • Algorithmic, M1, Ecole des Mines, Université de Lorrain, Nancy, France,

    • Security, M2, Ecole des Mines, Université de Lorraine, Nancy, France,

    • Head of the M2 internships, M2, Ecole des Mines, Université de Lorraine, Nancy, France.

  • Romain Péchoux:

    • Advanced Java, 52 hours, M1 MIAGE, UFR MI, Université de Lorraine, Nancy, France,

    • Mathematics for computer science, 20 hours, M1 SCA, UFR MI, Université de Lorraine, Nancy, France.

Supervision

• PhD : Pascal Vanier, "Pavages : périodicité et complexité calculatoire", Aix-Marseille Université, defended November 22th, 2012, Emmanuel Jeandel.

• PhD in progress : Thanh Dinh Ta, Malware Algebraic Modeling and Detection, started Sept. 2010, Jean-Yves Marion (director) and Romain Péchoux (co-advisor).

• PhD in progress: Hugo Férée, Computational Complexity in Analysis, started Sept. 2011, Jean-Yves Marion (director) and Mathieu Hoyrup (co-advisor).

• PhD in progress: Aurélien Thierry, Morphological Analysis of Malware, started October 2011, Jean-Yves Marion.

• PhD in progress: Joan Calvet, Viruses: how they interact with their environment, started October 2009, Jean-Yves Marion and José M. Fernandez, joint PhD with Ecole Polytechnique de Montréal.

Juries

Isabelle Gnaedig:

• participation to the ESIAL-Telecom admission committee.

Emmanuel Hainry:

• in charge of the admission committee for dept. Réseaux et Télécoms at IUT Nancy Brabois.

Mathieu Hoyrup:

• participation to the jury of Master 2 "Logique Mathématique et Fondements de l'Informatique" of Benoît Monin.

Jean-Yves Marion:

• November 30th, 2012, HDR of Virgile Mogbil, U. Paris 13 (reviewer),

• December 3th, 2012, PhD of Vincent Cheval, ENS Cachan (president),

• December 6th, 2012, PhD of Antoine Madet (reviewer),

• December 7th, 2012, PhD of Vincent Demange,

• December 13th, 2012, HDR of Emmanuel Thomé,

• December 17th, 2012, PhD of Hedi Benzina, ENS Cachan (reviewer).

Romain Péchoux:

• participation to the UFR MI, licence Miage, admission committee.